Store (set (set a s)) (get (set a s)) = Store (set a) s